MUSCHOLL, ANCA: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Design Patterns Instantiation Based on Semantics and Model Transformations

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 498 KB

english, 2010

2

Two-variable logic on data words

Bojańczyk, Mikołaj, David, Claire, Muscholl, Anca, Schwentick, Thomas, Segoufin, Luc

Journal:

ACM Transactions on Computational Logic

Year:

2011

Language:

english

File:

PDF, 268 KB

english, 2011

3

SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE

DIEKERT, VOLKER, MUSCHOLL, ANCA

Journal:

International Journal of Algebra and Computation

Year:

2006

Language:

english

File:

PDF, 357 KB

english, 2006

4

Complementing deterministic tree-walking automata

Anca Muscholl, Mathias Samuelides, Luc Segoufin

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 124 KB

english, 2006

5

Infinite-state high-level MSCs: Model-checking and realizability

Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun

Journal:

Journal of Computer and System Sciences

Year:

2006

Language:

english

File:

PDF, 335 KB

english, 2006

6

On the complementation of asynchronous cellular Büchi automata

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.76 MB

english, 1996

7

The code problem for traces — improving the boundaries

Hendrik Jan Hoogeboom, Anca Muscholl

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 958 KB

english, 1997

8

Solving word equations modulo partial commutations

Volker Diekert, Yuri Matiyasevich, Anca Muscholl

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.33 MB

english, 1999

9

Preface: Volume 65, Issue 7

Benoît Caillaud, Anca Muscholl

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 47 KB

english, 2002

10

Deterministic asynchronous automata for infinite traces

Volker Diekert, Anca Muscholl

Journal:

Acta Informatica

Year:

1994

Language:

english

File:

PDF, 1.07 MB

english, 1994

11

Characterizations of Classes of Graphs Recognizable by Local Computations

Emmanuel Godard, Yves Métivier, Anca Muscholl

Journal:

Theory of Computing Systems

Year:

2004

Language:

english

File:

PDF, 464 KB

english, 2004

12

Active Context-Free Games

Anca Muscholl, Thomas Schwentick, Luc Segoufin

Journal:

Theory of Computing Systems

Year:

2006

Language:

english

File:

PDF, 397 KB

english, 2006

13

Pattern Matching and Membership for Hierarchical Message Sequence Charts

Blaise Genest, Anca Muscholl

Journal:

Theory of Computing Systems

Year:

2008

Language:

english

File:

PDF, 704 KB

english, 2008

14

Compositional message sequence charts

Elsa L. Gunter, Anca Muscholl, Doron Peled

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

15

A note on the commutative closure of star-free languages

Anca Muscholl, Holger Petersen

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 353 KB

english, 1996

16

Logical definability on infinite traces

Werner Ebinger, Anca Muscholl

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.25 MB

english, 1996

17

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 225 KB

english, 2010

18

Bounded MSC communication

Markus Lohrey, Anca Muscholl

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 368 KB

english, 2004

19

A Kleene theorem and model checking algorithms for existentially bounded communicating automata

Blaise Genest, Dietrich Kuske, Anca Muscholl

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

20

Permutation rewriting and algorithmic verification

Ahmed Bouajjani, Anca Muscholl, Tayssir Touili

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 371 KB

english, 2007

21

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Improving Classification Performance with Focus on the Complex Areas

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 317 KB

english, 2010

22

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 229 KB

english, 2010

23

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Homophily of Neighborhood in Graph Relational Classifier

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 325 KB

english, 2010

24

A quadratic construction for Zielonka automata with acyclic communication structure

Krishna, Siddharth, Muscholl, Anca

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 230 KB

english, 2013

25

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 ||

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 12.77 MB

english, 2010

26

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Model-Driven Software Product Line Testing: An Integrated Approach

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 879 KB

english, 2010

27

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Learning User Preferences for 2CP-Regression for a Recommender System

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, Bernhard

Year:

2010

Language:

english

File:

PDF, 309 KB

english, 2010

28

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 8412 ||

Year:

2014

Language:

english

File:

PDF, 7.34 MB

english, 2014

29

AN NP-COMPLETE FRAGMENT OF LTL

MUSCHOLL, ANCA, WALUKIEWICZ, IGOR

Journal:

International Journal of Foundations of Computer Science

Year:

2005

Language:

english

File:

PDF, 607 KB

english, 2005

30

Walking on Data Words

Manuel, Amaldev, Muscholl, Anca, Puppis, Gabriele

Journal:

Theory of Computing Systems

Year:

2016

Language:

english

File:

PDF, 1.17 MB

english, 2016

31

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 8412 || Bisimulations for Communicating Transactions

Year:

2014

Language:

english

File:

PDF, 327 KB

english, 2014

32

[ACM Press the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium - Chicago, IL, USA (2006.06.26-2006.06.28)] Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '06 - Two-variable logic on data trees and XML reasoning

Bojańczyk, Mikolaj, David, Claire, Muscholl, Anca, Schwentick, Thomas, Segoufin, Luc

Year:

2006

Language:

english

File:

PDF, 262 KB

english, 2006

33

Two-variable logic on data trees and XML reasoning

Bojańczyk, Mikoaj, Muscholl, Anca, Schwentick, Thomas, Segoufin, Luc

Journal:

Journal of the ACM

Year:

2009

Language:

english

File:

PDF, 471 KB

english, 2009

34

[ACM Press the 16th International Conference - Genoa, Italy (2013.03.18-2013.03.22)] Proceedings of the 16th International Conference on Database Theory - ICDT '13 - Recursive queries on trees and data trees

Abiteboul, Serge, Bourhis, Pierre, Muscholl, Anca, Wu, Zhilin

Year:

2013

Language:

english

File:

PDF, 467 KB

english, 2013

35

Controlling loosely cooperating processes

Muscholl, Anca, Schewe, Sven

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 293 KB

english, 2016

36

Preface of STACS 2013 Special Issue

Muscholl, Anca, Dietzfelbinger, Martin

Journal:

Theory of Computing Systems

Year:

2016

Language:

english

File:

PDF, 79 KB

english, 2016

37

Computing ϵ -Free NFA from Regular Expressions in O ( n log 2 ( n )) Time

Hagenah, Christian, Muscholl, Anca

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2000

Language:

english

File:

PDF, 216 KB

english, 2000

38

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Untwisting two-way transducers in elementary time

Baschenis, Felix, Gauwin, Olivier, Muscholl, Anca, Puppis, Gabriele

Year:

2017

Language:

english

File:

PDF, 433 KB

english, 2017

39

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Static analysis of deterministic negotiations

Esparza, Javier, Muscholl, Anca, Walukiewicz, Igor

Year:

2017

Language:

english

File:

PDF, 355 KB

english, 2017

40

A NOTE ON MÃTIVIER'S CONSTRUCTION OF ASYNCHRONOUS AUTOMATA FOR TRIANGULATED GRAPHS

Diekert, Volkert, Muscholl, Anca

Journal:

Fundamenta Informaticae

Year:

1996

File:

PDF, 309 KB

1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски